1. An infinitesimal approach to stochastic analysis /
پدیدآورنده : H. Jerome Keisler
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Brownian motion processes,Nonstandard mathematical analysis,Stochastic integral equations
رده :
QA274
.
27
.
A57
no
.
297
2. Continuous model theory
پدیدآورنده : / by Chen Chung Chang, H. Jerome Keisler
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Logic, symbolic and mathematical
رده :
QA9
.
C48
3. Elementary calculus
پدیدآورنده : H. Jerome Keisler
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Calculus
رده :
515
,.
K28
,
Ed
.
2
4. Elementary calculus
پدیدآورنده : / H. Jerome Keisler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Calculus
رده :
QA303
.
K44
1986
5. Elementary calculus : an infinitesimal approach
پدیدآورنده : Keisler, H. Jerome
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Calculus
رده :
QA
303
.
K44
1986
6. Elementary calculus:an infinitesimal approach
پدیدآورنده : KEISLER,H JEROME
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : CALCULUS
رده :
QA
303
.
K46
1986
7. Elementary calculus :an infinitesimal approach]CD[
پدیدآورنده : Keisler, H. Jerome., H. Jerome Keisler
موضوع : ، Calculus
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
8. Mathematical logic and computability
پدیدآورنده : Keisler, H. Jerome.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
K45
1996
9. Mathematical logic and computability
پدیدآورنده : Keisler, H. Jerome
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Logic, Symbolic and mathematical , Computable functions
رده :
QA
9
.
59
.
K44
1996
10. Mathematical logic and computability
پدیدآورنده : / H. Jerome Keisler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Logic,symbolic and mathematical
رده :
511
.
3
K27m
11. Mathematical logic and computability
پدیدآورنده : Keisler, H. Jerome
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
K45
12. Mathematical logic & computability
پدیدآورنده : Keisler, H. Jerome
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Logic, symbolic & mathematical
رده :
QA
9
.
K4
M3
13. Model theory
پدیدآورنده : Keisler, H. Jerome
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
K45
1990
14. Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers
پدیدآورنده : Keisler, H. Jerome.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Infinitary languages,، Model theory
رده :
QA
9
.
K33
15. Model theory for infintary logic; logic with countalble conjunctions and finite quantifiers
پدیدآورنده : / H. Jerome Keisler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Infinitary languages,Model theory
رده :
511
.
3
K27
16. Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers
پدیدآورنده : Keisler, H. Jerome.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Infinitary languages,، Model theory
رده :
QA
9
.
K33
17. Model theory of stochastic processes /
پدیدآورنده : by Sergio Fajardo, H. Jerome Keisler
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Model theory,Stochastic processes
رده :
QA274
.
F37
2002
18. The Kleene Symposium : proceedings of the Symposium, held June 18-24, 1978 at Madison, Wisconsin, U.S.A
پدیدآورنده : edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Recursion theory,Congresses ، Intuitionistic mathematics,، Kleene, Stephen Cole, 9091-4991
رده :
QA
9
.
6
.
K53
1978
